CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL

Logical Difference and Module Extraction with CEX and MEX

– The module extraction problem: given a terminology T1 and a signature Σ, extract from T1 a minimal self-contained terminology T0 such that T1 and T0 imply the same dependencies between Σ-terms. – The logical diff problem: given a signature Σ and two versions T0 and T1 of a terminology, check whether T0 and T1 are logically different in the sense that they do not imply the same dependencies be...

An Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)

Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...

Goal-Directed Module Extraction for Explaining OWL DL Entailments

Module extraction methods have proved to be effective in improving the performance of some ontology reasoning tasks, including finding justifications to explain why an entailment holds in an OWL DL ontology. However, the existing module extraction methods that compute a syntactic locality-based module for the sub-concept in a subsumption entailment, though ensuring the resulting module to prese...

Modularity and Web Ontologies

Modularity in ontologies is key both for large scale ontology development and for distributed ontology reuse on the Web. However, the problems of formally characterizing a modular representation, on the one hand, and of automatically identifying modules within an OWL ontology, on the other, has not been satisfactorily addressed, although their relevance has been widely accepted by the Ontology ...